1

A Double Deduction System for Quantum Logic Based On Natural Deduction

Year:
1997
Language:
english
File:
PDF, 152 KB
english, 1997
2

A Double Deduction System for Quantum Logic Based on Natural Deduction

Year:
1997
Language:
english
File:
PDF, 812 KB
english, 1997